Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets
نویسندگان
چکیده
A model of P systems with symport / antiport rules is given in terms of hypernets, a generalization of a class of hierarchical Petri nets introduced for modeling mobility inside the nets-within-nets paradigm. The hierarchical structure of a P system is reflected by the associated hypernet, where molecules are modeled by unstructured agents (simple tokens) and membranes by agents. Each agent is modeled by a net which may contain in its places unstructured agents or other agents. Agents can exchange tokens with their subor super-agents and thus the hierarchy may change. The main result of the paper shows a correspondence between reachable configurations of the P system and reachable hypermarkings of the related hypernet, in such a way that if the P system can evolve from one configuration to another one then in the hypernet there exists a corresponding transformation of hypermarkings.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملTowards a Characterization of P Systems with Minimal Symport/Antiport and Two Membranes
We prove that any set of numbers containing zero generated by symport/antiport P systems with two membranes and minimal cooperation is finite (for both symport/antiport P systems and for purely symport P systems). On the other hand, one additional object in the output membrane allows symport/antiport P systems with two membranes and minimal cooperation generate any recursively enumerable sets o...
متن کاملAbout P systems with symport/antiport
It is proved that four membranes suffice to P systems with minimal symport/antiport to generate all recursively enumerable sets of numbers. It is also proved that P systems with symport/antiport without maximal parallelism are equivalent to partially blind counter automata.
متن کامل